#include <vsprintf.h>
#include <cpu.h>
#include <debug.h>
void panic(char * why) {
   printf("\n\nPanic: %s\n", why);
   dprint("\n\n*** Kernel panic: %s\n", why);
   _hlt();
}
